COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		This is a request for a continuing grant of xxx per year
C00004 ENDMK
C⊗;
	This is a request for a continuing grant of xxx per year
in support of basic research in artificial intelligence
with emphasis on the structure of formal reasoning and
computer proof checking.  The computer proof checking supports the
basic research in AI, but also has applications to verifying
computer programs and is independently valuable.

	Artificial intelligence has proved to be a difficult branch
of science.  Some people thought that human level intelligence
could be achieved in ten or twenty years, but this was based on
the difficulties they could see when they made the optimistic
predictions.  Our own opinion is that major scientific discoveries
remain to be made.